let (|A|) = ()
